$\forall$$T$:Type, ${\it pl}$, ${\it tm}$:($T$$\rightarrow$$T$$\rightarrow$$T$). SqStable(BiLinear($T$;${\it pl}$;${\it tm}$))